|
In abstract algebra, a branch of mathematics, an affine monoid is a commutative monoid that is finitely generated, and is isomorphic to a submonoid of a free abelian group ℤ''d'', ''d'' ≥ 0. Affine monoids are closely connected to convex polyhedra, and their associated algebras are of much use in the algebraic study of these geometric objects. == Characterization == * Affine monoids are finitely generated. This means for a monoid , there exists such that :. * Affine monoids are cancellative. In other words, : implies that for all , where denotes the binary operation on the affine monoid . * Affine monoids are also torsion free. For an affine monoid , implies that for , and . * A subset of a monoid that is itself a monoid with respect to the operation on is a submonoid of . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Affine monoid」の詳細全文を読む スポンサード リンク
|